Temporal Pattern Specifications for Self-Adaptive Requirements
نویسندگان
چکیده
منابع مشابه
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications
Software property classi cations and patterns, i.e., highlevel abstractions that describe program behavior, have been used to assist practitioners in specifying properties. The Speci cation Pattern System (SPS) provides descriptions of a collection of patterns. Each pattern is associated with a scope that de nes the extent of program execution over which a property pattern is considered. Based ...
متن کاملTemporal Reconfiguration Plans for Self-Adaptive Systems
Self-adaptive systems have the ability to autonomously reconfigure their structure in order to meet specific goals. Such systems often include a planning component, computing plans of reconfiguration steps. However, despite the fact that reconfigurations take time in reality, most planning approaches for self-adaptive systems are non-temporal. In this paper, we present a model-based approach to...
متن کاملRequirements Specifications for Hybrid Systems
The purpose of a computer system requirements speci cation is to describe the computer system's required external behavior. To avoid overspeci cation, the requirements speci cation should describe the system behavior as a mathematical relation between entities in the system's environment. When some of these entities are continuous and others are discrete, the system is referred to as a \hybrid"...
متن کاملOptimizing Monitoring Requirements in Self-adaptive Systems
Monitoring the system environment is a key functionality of a selfadaptive system.Monitoring requirements denote the information a self-adaptive system has to capture at runtime to decide upon whether an adaptation action has to be taken. The identification of monitoring requirements is a complex task which can easily lead to redundancy and uselessness in the set of information to be monitored ...
متن کاملTestable Requirements and Specifications
A design specification is the artifact intermediate between implemented code and the customer requirements. In this paper we argue that customer requirements and design specifications should be testable and testable early in the design cycle leading to early detection of requirement and specification errors. The core idea behind early testable requirements is that the problem is described befor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Recent Patents on Computer Science
سال: 2019
ISSN: 2213-2759
DOI: 10.2174/2213275911666181019115744